| emsoft | participants

Mark Reynolds

EMSOFT 2019: 19th International Conference on Embedded Software

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

Omar I. Al-Bataineh, David S. Rosenblum, and Mark Reynolds